Procedural programming

Results: 6438



#Item
21Lecture 37: New Features of MPI-3 William D Gropp www.cs.illinois.edu/~wgropp  Thanks To

Lecture 37: New Features of MPI-3 William D Gropp www.cs.illinois.edu/~wgropp Thanks To

Add to Reading List

Source URL: wgropp.cs.illinois.edu

Language: English - Date: 2015-04-27 09:35:02
22Hand-Writing Program Generator Generators Lars Birkedal & Morten Welinder DIKU, Department of Computer Science University of Copenhagen DK–2100 Copenhagen Ø, Denmark e-mail:  &

Hand-Writing Program Generator Generators Lars Birkedal & Morten Welinder DIKU, Department of Computer Science University of Copenhagen DK–2100 Copenhagen Ø, Denmark e-mail: &

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:04:53
2302157 Functional Programming - Tagged values and Higher-order list functions

02157 Functional Programming - Tagged values and Higher-order list functions

Add to Reading List

Source URL: www.imm.dtu.dk

Language: English - Date: 2013-01-17 16:16:49
24The	
  Birth	
  of	
  the	
  Pointer	
  Variable	
  	
   Based	
  upon:	
  Experiences	
  and	
  Reflec;ons	
  	
   of	
  a	
  Computer	
  Pioneer	
   Harold	
  “Bud”	
  Lawson	
   	
  

The  Birth  of  the  Pointer  Variable     Based  upon:  Experiences  and  Reflec;ons     of  a  Computer  Pioneer   Harold  “Bud”  Lawson    

Add to Reading List

Source URL: www.hig.no

Language: English - Date: 2014-04-03 02:41:06
25Combining Programming with Theorem Proving Chiyan Chen and

Combining Programming with Theorem Proving Chiyan Chen and

Add to Reading List

Source URL: www.cs.bu.edu

Language: English - Date: 2005-11-01 11:55:41
26Technical Report TTIC-TRMay 2009 CEAL: A C-Based Language for Self-Adjusting Computation

Technical Report TTIC-TRMay 2009 CEAL: A C-Based Language for Self-Adjusting Computation

Add to Reading List

Source URL: www.mpi-sws.org

Language: English - Date: 2011-07-23 03:32:59
27Code Style Randy Shepherd NYU Correctness is not Sufficient ●

Code Style Randy Shepherd NYU Correctness is not Sufficient ●

Add to Reading List

Source URL: cs.nyu.edu

Language: English - Date: 2014-03-05 12:03:11
28STK Reference manual Version 4.0 Erick Gallesio Universit´e de Nice - Sophia Antipolis Laboratoire I3S - CNRS URAESSI.

STK Reference manual Version 4.0 Erick Gallesio Universit´e de Nice - Sophia Antipolis Laboratoire I3S - CNRS URAESSI.

Add to Reading List

Source URL: kaolin.unice.fr

Language: English - Date: 1999-10-01 11:43:26
29Built In Functions Table of contents 1 Introduction........................................................................................................................ 2 2 Dynamic Invokers............................

Built In Functions Table of contents 1 Introduction........................................................................................................................ 2 2 Dynamic Invokers............................

Add to Reading List

Source URL: pig.apache.org

Language: English - Date: 2015-06-06 13:03:20
30Quotation and Re
e
tion in Nuprl and S
heme Eli Barzilay (eli
s.
ornell.edu)  Contents

Quotation and Re e tion in Nuprl and S heme Eli Barzilay (eli s. ornell.edu) Contents

Add to Reading List

Source URL: barzilay.org

Language: English - Date: 2009-07-13 03:34:39